141. Recursively enumeralble sets and degrees
Author: Soare, Robert Irving, 0491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions,، Computable functions
Classification :
QA
9
.
615
.
S63
1987
142. Reflexive structures : an introduction to computability theory
Author: Sanchis, Luis E.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Recursive functions
Classification :
QA
9
.
59
.
S26
1988
143. Representations of discrete functions
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design
Classification :
TK
7874
.
75
.
R47
1996
144. Set theory for computing : from decision procedures to declarative programming with sets
Author: Cantone, Domenico
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Computable functions
Classification :
QA
248
.
C26S4
145. Symbolic computation and education
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer
146. Symbolic computation and education
Author: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
20
,.
C65
,
I585
,
2006
147. Symbolic-numeric computation
Author: / Dongming Wang, Lihong Zhi, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
.
59
,.
S96
,
2007
148. The foundations of computability theory
Author: Robic, Borut, 0691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Computer science -- Mathematics
Classification :
QA
9
.
59
.
R62F6
149. The foundations of computability theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computable functions. ;
150. The incomputable : journeys beyond the Turing barrier
Author: S. Barry Cooper, Mariya I. Soskova, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
63
.
I52
151. The language of machines :
Author: Robert W. Floyd, Richard Beigel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
Classification :
QA267
.
3
.
F56
1994
152. The theory of computability
Author: / R.Sommerhalder,S.C. van Westrhenen,Sommerhalder
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Algorithms,Computational complextiy,Computable functions
Classification :
QA
9
.
58
.
S64
1988
153. <The> theory of computability
Author: / R. Sommerhalder, S.C. Van Westrhenen
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms,Computational complexity,Computable functions
Classification :
QA9
.
58
.
S64
1988
154. The theory of computability : programs, machines, effectiveness, and feasibility
Author: Sommerhalder, R.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Algorithms,، Computational complexity,، Computable functions
Classification :
QA
9
.
58
.
S64
1988
155. The theory of computer science : a programming approach
Author: J. M. Brady,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming )Electronic computers(,Machine theory,Computable functions
Classification :
QA
.
B697
76
156. The theory of computer science : a programming approach
Author: Brady, J. M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(,، Machine theory,، Computable functions
Classification :
QA
76
.
B697
157. The theory of computer science : a programming approach
Author: Brady, J. M.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming )Electronic computers(,، Machine theory,، Computable functions
Classification :
QA
76
.
B697
158. The theory of computer science : a programming approach
Author: / J. M. Brady
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Programming (Electronic computers),Machine theory,Computable functions
Classification :
QA76
.
B697
159. The theory of computer science : a programming approach
Author: Brady, J M
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computer programming,، Machine theory,، Computable functions
Classification :
QA
76
.
B697
160. The theory of computer science; a programming approach
Author: Brady, J M
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming )Electronic computers(,، Machine theory,، Computable functions
Classification :
QA
76
.
B697
